Skip to content

Conversation

@Manciukic
Copy link
Contributor

@Manciukic Manciukic commented Nov 20, 2025

Changes

This change adds a validation for the Swagger schema by verify that every successful request and response to the server is strictly (no extra fields allowed) conformant to the schema.

This new validation allowed me to find a couple of latent bugs:

  • the PUT /serial takes a serial_out_path, not an output_path
  • the PUT /cpu-config didn't specify a specific schema for the parameters
  • the GET /vm-config was missing pmem

Since for this to work we need the check to be strict, I also explicitly added additionalParameters: true where additial fields are expected (this is the default for Swagger).

Reason

Continuously verify that the schema matches the Firecracker API in the integration tests.

License Acceptance

By submitting this pull request, I confirm that my contribution is made under
the terms of the Apache 2.0 license. For more information on following Developer
Certificate of Origin and signing off your commits, please check
CONTRIBUTING.md.

PR Checklist

  • I have read and understand CONTRIBUTING.md.
  • I have run tools/devtool checkbuild --all to verify that the PR passes
    build checks on all supported architectures.
  • I have run tools/devtool checkstyle to verify that the PR passes the
    automated style checks.
  • I have described what is done in these changes, why they are needed, and
    how they are solving the problem in a clear and encompassing way.
  • I have updated any relevant documentation (both in code and in the docs)
    in the PR.
  • I have mentioned all user-facing changes in CHANGELOG.md.
  • If a specific issue led to this PR, this PR closes the issue.
  • When making API changes, I have followed the
    Runbook for Firecracker API changes.
  • I have tested all new and changed functionalities in unit tests and/or
    integration tests.
  • I have linked an issue to every new TODO.

  • This functionality cannot be added in rust-vmm.

@codecov
Copy link

codecov bot commented Nov 20, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 82.88%. Comparing base (2b05435) to head (1b645d8).

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #5524   +/-   ##
=======================================
  Coverage   82.88%   82.88%           
=======================================
  Files         270      270           
  Lines       27784    27784           
=======================================
  Hits        23028    23028           
  Misses       4756     4756           
Flag Coverage Δ
5.10-m5n.metal 83.07% <ø> (ø)
5.10-m6a.metal 82.33% <ø> (ø)
5.10-m6g.metal 79.63% <ø> (-0.01%) ⬇️
5.10-m6i.metal 83.07% <ø> (+0.01%) ⬆️
5.10-m7a.metal-48xl 82.33% <ø> (+<0.01%) ⬆️
5.10-m7g.metal 79.64% <ø> (ø)
5.10-m7i.metal-24xl 83.03% <ø> (-0.01%) ⬇️
5.10-m7i.metal-48xl 83.03% <ø> (ø)
5.10-m8g.metal-24xl 79.63% <ø> (-0.01%) ⬇️
5.10-m8g.metal-48xl 79.63% <ø> (-0.01%) ⬇️
6.1-m5n.metal 83.10% <ø> (+0.01%) ⬆️
6.1-m6a.metal 82.36% <ø> (-0.01%) ⬇️
6.1-m6g.metal 79.63% <ø> (-0.01%) ⬇️
6.1-m6i.metal 83.09% <ø> (ø)
6.1-m7a.metal-48xl 82.35% <ø> (ø)
6.1-m7g.metal 79.63% <ø> (-0.01%) ⬇️
6.1-m7i.metal-24xl 83.10% <ø> (ø)
6.1-m7i.metal-48xl 83.11% <ø> (-0.01%) ⬇️
6.1-m8g.metal-24xl 79.63% <ø> (-0.02%) ⬇️
6.1-m8g.metal-48xl 79.63% <ø> (-0.01%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Add missing pmem field from vm config response.

Signed-off-by: Riccardo Mancini <[email protected]>
We mistakenly added it as `output_path` rather than `serial_out_path`.

Signed-off-by: Riccardo Mancini <[email protected]>
@Manciukic Manciukic force-pushed the validate-api-swagger branch 2 times, most recently from b375678 to 3f2089e Compare November 21, 2025 09:46
The custom CPU templates were just a plain object with no definition of
their fields. This patch adds specific definition for all its fields.

Signed-off-by: Riccardo Mancini <[email protected]>
To implement a strict API validation, let's annotate when extra fields
are actually expected.

Signed-off-by: Riccardo Mancini <[email protected]>
Validate that all requests we do to the API are conformant to the
swagger, and that all responses are also conformant.
This check is strict, meaning no extra fields are allowed to catch
problems where there is a typo in the swagger.
We only check successful requests as we don't want to fail when we try
to send a bad request on purpose. If the request is successful, then it
means the schema should have been valid.

Signed-off-by: Riccardo Mancini <[email protected]>
@Manciukic Manciukic force-pushed the validate-api-swagger branch from 3f2089e to 93fddc4 Compare November 21, 2025 14:24
@Manciukic Manciukic changed the title [WIP] Validate swagger API schema in integ tests Validate swagger API schema in integ tests Nov 21, 2025
@Manciukic Manciukic marked this pull request as ready for review November 21, 2025 15:24
@Manciukic Manciukic added the Status: Awaiting review Indicates that a pull request is ready to be reviewed label Nov 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Status: Awaiting review Indicates that a pull request is ready to be reviewed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant